<html>
<head><meta charset="utf-8"><title>meeting 2021-01-19 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html">meeting 2021-01-19</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="223289741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223289741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223289741">(Jan 19 2021 at 20:32)</a>:</h4>
<p>Everyone around for meeting today? <span class="user-mention" data-user-id="116009">@nikomatsakis</span> </p>
<p>We'll probably take today to plan. Last time we discussed potentially trying out the "one week sprint" concept. So we should decide <em>when</em> we want to do that. And also what other short/medium/long-term goals we have</p>



<a name="223293508"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223293508" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223293508">(Jan 19 2021 at 20:59)</a>:</h4>
<p>Ok <span class="user-group-mention" data-user-group-id="692">@WG-traits</span>, seems like a few people are around :) but no sign of <span class="user-mention" data-user-id="116009">@nikomatsakis</span> yet</p>



<a name="223293675"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223293675" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223293675">(Jan 19 2021 at 21:00)</a>:</h4>
<p>wave</p>



<a name="223293700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223293700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223293700">(Jan 19 2021 at 21:00)</a>:</h4>
<p>So, maybe let's start with any announcements people might have?</p>



<a name="223293756"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223293756" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223293756">(Jan 19 2021 at 21:01)</a>:</h4>
<p>And/or what people have been working on? (If anyone has)</p>



<a name="223293822"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223293822" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223293822">(Jan 19 2021 at 21:01)</a>:</h4>
<p>(no announcements here)</p>



<a name="223293874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223293874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223293874">(Jan 19 2021 at 21:02)</a>:</h4>
<p>One thing that did happen this weekend was <a href="https://github.com/rust-lang/rust/issues/80679">#80679</a> was merged</p>



<a name="223293934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223293934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223293934">(Jan 19 2021 at 21:02)</a>:</h4>
<p>Which removes <code>PredicateKind::Atom</code> and generally brings rustc closer to Chalk again</p>



<a name="223294011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294011">(Jan 19 2021 at 21:03)</a>:</h4>
<p>And that actually cleans up <a href="https://github.com/rust-lang/rust/issues/76814">#76814</a> a bit, which I've been working on rebasing/cleaning up</p>



<a name="223294070"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294070" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294070">(Jan 19 2021 at 21:03)</a>:</h4>
<p>Other than that, nothing else to report from me</p>



<a name="223294210"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294210" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294210">(Jan 19 2021 at 21:04)</a>:</h4>
<p>what is current status of <a href="https://github.com/rust-lang/rust/issues/76814">#76814</a> overall?</p>



<a name="223294216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294216">(Jan 19 2021 at 21:04)</a>:</h4>
<p>So, today is mostly about planning, but does anyone have anything design-wise they want to discuss?</p>



<a name="223294236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294236">(Jan 19 2021 at 21:04)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223294210">said</a>:</p>
<blockquote>
<p>what is current status of <a href="https://github.com/rust-lang/rust/issues/76814">#76814</a> overall?</p>
</blockquote>
<p>Ready for review</p>



<a name="223294289"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294289" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294289">(Jan 19 2021 at 21:04)</a>:</h4>
<p>I would say it's "done"</p>



<a name="223294319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294319">(Jan 19 2021 at 21:05)</a>:</h4>
<p>that's awesome</p>



<a name="223294325"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294325" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294325">(Jan 19 2021 at 21:05)</a>:</h4>
<p>There is one thing I'm working on right now w.r.t. associated type bounds</p>



<a name="223294388"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294388" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294388">(Jan 19 2021 at 21:05)</a>:</h4>
<p>I was <em>almost</em> able to remove <code>Binder::bind</code>s entirely, but there's one bit of a hiccup with lazy normalization</p>



<a name="223294397"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294397" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294397">(Jan 19 2021 at 21:05)</a>:</h4>
<p>and consts</p>



<a name="223294549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294549">(Jan 19 2021 at 21:06)</a>:</h4>
<p>ok</p>



<a name="223294583"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294583" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294583">(Jan 19 2021 at 21:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223294325">said</a>:</p>
<blockquote>
<p>There is one thing I'm working on right now w.r.t. associated type bounds</p>
</blockquote>
<p>to be clear, is this something specific to <a href="https://github.com/rust-lang/rust/issues/76814">#76814</a>?</p>



<a name="223294733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294733">(Jan 19 2021 at 21:07)</a>:</h4>
<p>In any case, I would very much like to talk about overall planning</p>



<a name="223294784"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294784" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294784">(Jan 19 2021 at 21:08)</a>:</h4>
<p>and a bit about my own availability and schedule</p>



<a name="223294828"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294828" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294828">(Jan 19 2021 at 21:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223294583">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223294325">said</a>:</p>
<blockquote>
<p>There is one thing I'm working on right now w.r.t. associated type bounds</p>
</blockquote>
<p>to be clear, is this something specific to <a href="https://github.com/rust-lang/rust/issues/76814">#76814</a>?</p>
</blockquote>
<p>yes, nested associated type bounds in trait refs need to have their bound vars be an extension of other bound vars in scope, but in the current PR, that is done <em>late</em> (in <code>compute_bounds</code>, rather than in resolve)</p>



<a name="223294879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294879">(Jan 19 2021 at 21:08)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223294784">said</a>:</p>
<blockquote>
<p>and a bit about my own availability and schedule</p>
</blockquote>
<p>this is an important bit</p>



<a name="223294959"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223294959" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223294959">(Jan 19 2021 at 21:09)</a>:</h4>
<p>so when it comes to my schedule, the first thing is that I am probably pretty busy for remainder of Jan</p>



<a name="223295000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295000">(Jan 19 2021 at 21:09)</a>:</h4>
<p>for one thing I've been putting off a bunch of aws related trainings I have to do :)</p>



<a name="223295057"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295057" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295057">(Jan 19 2021 at 21:10)</a>:</h4>
<p>Did the compiler team decide on an exact week for the sprint week?</p>



<a name="223295096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295096">(Jan 19 2021 at 21:10)</a>:</h4>
<p>Not that I know of</p>



<a name="223295147"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295147" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295147">(Jan 19 2021 at 21:10)</a>:</h4>
<p>Ok. I know I read that it was potentially like first week or last week of Feb. but didn't know if that got settled</p>



<a name="223295148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295148">(Jan 19 2021 at 21:10)</a>:</h4>
<p>i do think that, for me, trying to schedule a week to focus could be really great</p>



<a name="223295209"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295209" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295209">(Jan 19 2021 at 21:11)</a>:</h4>
<p>I am generally open to whenever. Any thoughts from others?</p>



<a name="223295228"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295228" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295228">(Jan 19 2021 at 21:11)</a>:</h4>
<p>Yeah, I didn't catch up on that meeting. not sure if <span class="user-mention" data-user-id="116083">@pnkfelix</span> or <span class="user-mention" data-user-id="125250">@Wesley Wiser</span> is around, they may have insights</p>



<a name="223295299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295299">(Jan 19 2021 at 21:11)</a>:</h4>
<p>I'm thinking about what is going to be my big "technology" goals for the year</p>



<a name="223295314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295314">(Jan 19 2021 at 21:12)</a>:</h4>
<p>and where chalk fits into them</p>



<a name="223295414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295414">(Jan 19 2021 at 21:12)</a>:</h4>
<p>I think that in general async fn in traits is pretty important, and that kind of has dependencies on GATs, which in turn have dependencies on a lot of the work we've been doing</p>



<a name="223295419"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295419" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295419">(Jan 19 2021 at 21:12)</a>:</h4>
<p>Ah, yeah, that's somewhat where I was heading into medium/long term goals</p>



<a name="223295465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295465">(Jan 19 2021 at 21:12)</a>:</h4>
<p>basically i'm planning to orient myself around "async fn in trait", and the roadmap that leads up to it</p>



<a name="223295516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295516">(Jan 19 2021 at 21:13)</a>:</h4>
<p>at least presently :)</p>



<a name="223295560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295560">(Jan 19 2021 at 21:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223295228">said</a>:</p>
<blockquote>
<p>Yeah, I didn't catch up on that meeting. not sure if <span class="user-mention silent" data-user-id="116083">pnkfelix</span> or <span class="user-mention silent" data-user-id="125250">Wesley Wiser</span> is around, they may have insights</p>
</blockquote>
<p>I think the conclusion was that there isn't enough time to do the planning before February so it's unlikely to happen until March. </p>
<p><a href="#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bplanning.20meeting.5D.202021-01-15/near/222877446">https://rust-lang.zulipchat.com/#narrow/stream/238009-t-compiler.2Fmeetings/topic/.5Bplanning.20meeting.5D.202021-01-15/near/222877446</a></p>



<a name="223295580"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295580" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295580">(Jan 19 2021 at 21:13)</a>:</h4>
<p>I also was looking through the rustc issues tagged <code>WG-compiler-traits</code> and there are several issues that we haven't discussed at all. And we should think about if those are appropriate labels. If so, we should probably review and put them on our radar/timeline. If not, probably think of where they should go</p>



<a name="223295686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295686">(Jan 19 2021 at 21:14)</a>:</h4>
<p>hmm</p>



<a name="223295703"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295703" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295703">(Jan 19 2021 at 21:14)</a>:</h4>
<p>ok, so one thing that i've been doing in other contexts is a bit of a "backlog triage'</p>



<a name="223295731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295731">(Jan 19 2021 at 21:14)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223295465">said</a>:</p>
<blockquote>
<p>basically i'm planning to orient myself around "async fn in trait", and the roadmap that leads up to it</p>
</blockquote>
<p>Interesting! I guess, there's a lot that goes into that, so it's a good long-term goal</p>



<a name="223295771"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295771" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295771">(Jan 19 2021 at 21:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223295703">said</a>:</p>
<blockquote>
<p>ok, so one thing that i've been doing in other contexts is a bit of a "backlog triage'</p>
</blockquote>
<p>Yeah, I've tried to do that a little here</p>



<a name="223295834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295834">(Jan 19 2021 at 21:15)</a>:</h4>
<p>(link to issues: <a href="https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AWG-compiler-traits">https://github.com/rust-lang/rust/issues?q=is%3Aopen+is%3Aissue+label%3AWG-compiler-traits</a>)</p>



<a name="223295975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223295975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223295975">(Jan 19 2021 at 21:16)</a>:</h4>
<p>Is the plan to still use the skill tree? I don't think it's been updated in a while, but definitely would help to plan out longer term goals</p>



<a name="223296201"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296201" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296201">(Jan 19 2021 at 21:18)</a>:</h4>
<p>I did want to construct a skill tree, yes</p>



<a name="223296222"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296222" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296222">(Jan 19 2021 at 21:18)</a>:</h4>
<p>I am wondering about the best way to do that work</p>



<a name="223296245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296245">(Jan 19 2021 at 21:18)</a>:</h4>
<p>it might be good to schedule some deep-dive meetings</p>



<a name="223296271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296271">(Jan 19 2021 at 21:19)</a>:</h4>
<p>to try and do it in a group setting</p>



<a name="223296293"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296293" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296293">(Jan 19 2021 at 21:19)</a>:</h4>
<p>I guess my take on traits planning is</p>



<a name="223296306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296306">(Jan 19 2021 at 21:19)</a>:</h4>
<p>that for me personally I'd sort of like to hit pause</p>



<a name="223296309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296309">(Jan 19 2021 at 21:19)</a>:</h4>
<p>I'd like to do reviews</p>



<a name="223296346"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296346" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296346">(Jan 19 2021 at 21:19)</a>:</h4>
<p>and for us to maybe use some meetings -- perhaps live -- to take stock a bit of our goals and milestones along the way</p>



<a name="223296369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296369">(Jan 19 2021 at 21:19)</a>:</h4>
<p>(not necessarily reviews blocking the other)</p>



<a name="223296448"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296448" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296448">(Jan 19 2021 at 21:20)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223296346">said</a>:</p>
<blockquote>
<p>and for us to maybe use some meetings -- perhaps live -- to take stock a bit of our goals and milestones along the way</p>
</blockquote>
<p>Can you elaborate a bit?</p>



<a name="223296458"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296458" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296458">(Jan 19 2021 at 21:20)</a>:</h4>
<p>I'm not 100% sure what I mean by "hit pause", I guess I'm just acknowlding the (obvious) that I've not had a lot of time and my time is still tight</p>



<a name="223296492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296492">(Jan 19 2021 at 21:20)</a>:</h4>
<p>good question :) I'm thinking a bit out loud</p>



<a name="223296588"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296588" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296588">(Jan 19 2021 at 21:21)</a>:</h4>
<p>I'm trying to think what things we need to discuss design of</p>



<a name="223296608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296608">(Jan 19 2021 at 21:21)</a>:</h4>
<p>And what things are just "someone needs to put in the time to implement"</p>



<a name="223296652"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296652" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296652">(Jan 19 2021 at 21:21)</a>:</h4>
<p>mm it's not so much that I think we need to discuss design</p>



<a name="223296700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296700">(Jan 19 2021 at 21:22)</a>:</h4>
<p>as that I want to see the roadmap of interdependent things mapped out</p>



<a name="223296721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296721">(Jan 19 2021 at 21:22)</a>:</h4>
<p>I dont' think all of this will intersect chalk</p>



<a name="223296760"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296760" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296760">(Jan 19 2021 at 21:22)</a>:</h4>
<p>as an example, I think that a step along the way of "async functions in traits" is going to be stabilizing some subset of named impl trait</p>



<a name="223296787"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296787" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296787">(Jan 19 2021 at 21:22)</a>:</h4>
<p>which, well, intersects chalk, but not in an especially interesting way</p>



<a name="223296794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296794">(Jan 19 2021 at 21:22)</a>:</h4>
<p>Ah, makes sense</p>



<a name="223296820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296820">(Jan 19 2021 at 21:23)</a>:</h4>
<p>I definitely agree</p>



<a name="223296966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223296966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223296966">(Jan 19 2021 at 21:24)</a>:</h4>
<p>I guess, perhaps we should come up with a list of long-term goals that we want, feature-wise. And plan out the roadmap to those</p>



<a name="223297007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297007">(Jan 19 2021 at 21:24)</a>:</h4>
<p>right</p>



<a name="223297043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297043">(Jan 19 2021 at 21:24)</a>:</h4>
<p>I am also thinking that there are some other things -- shared type library etc -- that are important, but which don't directly advance that goal</p>



<a name="223297058"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297058" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297058">(Jan 19 2021 at 21:24)</a>:</h4>
<p>it'd be good for us to have other goals that reflect why they're important</p>



<a name="223297137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297137">(Jan 19 2021 at 21:25)</a>:</h4>
<p>I mean, I guess if there are any features that specifically have "integrate Chalk" as a prereq, then shared type library will be a prereq for that</p>



<a name="223297188"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297188" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297188">(Jan 19 2021 at 21:25)</a>:</h4>
<p>But I imagine we probably want to try to create roadmaps where we don't need chalk integration</p>



<a name="223297267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297267">(Jan 19 2021 at 21:26)</a>:</h4>
<p>well</p>



<a name="223297275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297275">(Jan 19 2021 at 21:26)</a>:</h4>
<p>that's a good point :)</p>



<a name="223297284"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297284" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297284">(Jan 19 2021 at 21:26)</a>:</h4>
<p>I guess that using chalk <em>for real</em> does require the shared type library work</p>



<a name="223297312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297312">(Jan 19 2021 at 21:26)</a>:</h4>
<p>so...maybe we can just do some of this sketching right now?</p>



<a name="223297327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297327">(Jan 19 2021 at 21:26)</a>:</h4>
<p>it seems like this is the most useful work to be done :)</p>



<a name="223297349"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297349" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297349">(Jan 19 2021 at 21:27)</a>:</h4>
<p>Sounds good to me</p>



<a name="223297357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297357">(Jan 19 2021 at 21:27)</a>:</h4>
<p>I'd be game to do it over a voice chat but also ok to do it here in zulip with a hackmd</p>



<a name="223297371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297371">(Jan 19 2021 at 21:27)</a>:</h4>
<p>I can do voice chat</p>



<a name="223297378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297378">(Jan 19 2021 at 21:27)</a>:</h4>
<p>not sure who else is around?</p>



<a name="223297417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297417">(Jan 19 2021 at 21:27)</a>:</h4>
<p>Anyone object to zoom?</p>



<a name="223297425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297425">(Jan 19 2021 at 21:27)</a>:</h4>
<p>There were a few hands in the beginning, but nobody else has said anything :)</p>



<a name="223297467"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297467" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297467">(Jan 19 2021 at 21:28)</a>:</h4>
<p>Zoom works</p>



<a name="223297482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297482">(Jan 19 2021 at 21:28)</a>:</h4>
<p>gimme a second</p>



<a name="223297569"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297569" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297569">(Jan 19 2021 at 21:29)</a>:</h4>
<p><a href="https://zoom.us/j/91576697038?pwd=dGhBMWphc3Y5MnBsNlpGMGo5MTRIQT09">zoom link</a></p>



<a name="223297621"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223297621" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223297621">(Jan 19 2021 at 21:29)</a>:</h4>
<p><a href="https://hackmd.io/j8KTAWU2TzC-STlsB8ZSVQ">hackmd link</a></p>



<a name="223299178"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223299178" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223299178">(Jan 19 2021 at 21:38)</a>:</h4>
<p>Ping, can I still join?</p>



<a name="223300413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223300413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223300413">(Jan 19 2021 at 21:48)</a>:</h4>
<p>yep, we're on</p>



<a name="223300861"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223300861" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223300861">(Jan 19 2021 at 21:52)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> ping try again if you want :)</p>



<a name="223300898"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223300898" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223300898">(Jan 19 2021 at 21:52)</a>:</h4>
<p>although I have to go in a few minutes</p>



<a name="223397862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223397862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223397862">(Jan 20 2021 at 16:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223295147">said</a>:</p>
<blockquote>
<p>Ok. I know I read that it was potentially like first week or last week of Feb. but didn't know if that got settled</p>
</blockquote>
<p>FYI: We haven’t established a/the sprint week yet. We have only established that we will have a sprint <em>planning</em> meeting on Friday, January 29th. As part of the lead up to that planning meeting (in nine days!), I need to email the team (and probably contributors as well) to find out timing constraints to see when is the best week to have the sprint in the first place.</p>



<a name="223400593"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223400593" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223400593">(Jan 20 2021 at 16:48)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116083">pnkfelix</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223397862">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-01-19/near/223295147">said</a>:</p>
<blockquote>
<p>Ok. I know I read that it was potentially like first week or last week of Feb. but didn't know if that got settled</p>
</blockquote>
<p>FYI: We haven’t established a/the sprint week yet. We have only established that we will have a sprint <em>planning</em> meeting on Friday, January 29th. As part of the lead up to that planning meeting (in nine days!), I need to email the team (and probably contributors as well) to find out timing constraints to see when is the best week to have the sprint in the first place.</p>
</blockquote>
<p>Thanks! It's good to have context!</p>



<a name="223555860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223555860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223555860">(Jan 21 2021 at 19:07)</a>:</h4>
<p>Just looked at goal for this year and seeing <code>stabilize generic associated types with lifetimes (at least)</code> looks really awesome! It would unlock very interesting things way beyond async fn in traits <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="223556064"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223556064" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223556064">(Jan 21 2021 at 19:09)</a>:</h4>
<p>If I were more skilled, I would be happy to help, but my past experiences with chalk where not very successfull ^^</p>



<a name="223580375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223580375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223580375">(Jan 21 2021 at 22:30)</a>:</h4>
<p><span class="user-mention" data-user-id="281572">@marmeladema</span> there's plenty of work that's not directly Chalk, if you are still interested in helping</p>



<a name="223719444"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-01-19/near/223719444" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> marmeladema <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-01-19.html#223719444">(Jan 23 2021 at 00:17)</a>:</h4>
<p>Well, I would happy to help but I am not sure where I actually <em>could</em> help</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>